机译:语言方程的定量变体及其应用程序在描述逻辑中扩展统一的逻辑
机译:Monadic析取数据日志,MMSNP和表达描述逻辑中的可重写性
机译:Monadic析取数据记录,MMSNP和表达描述逻辑中的可重写性(邀请演讲)
机译:打包特征结构以有效分离析取的特征结构
机译:电子温度梯度(ETG)不稳定性饱和的粒子内和连续体方法的算法统一以及波粒描述。
机译:蛋白质构象运动和波动的最优描述的弹性网络模型和高斯网络模型的统一
机译:特征结构的打包,以实现析取特征结构的有效统一
机译:析取特征描述的统一方法